"A Lambda-Calculus Model of Programming Languages" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

A Lambda-Calculus Model of Programming Languages, II: Jumps and Procedures, J. Computer Languages, Vol. 1 (1976)

Категория: paper, programming language semantics, lambda calculus, combinator calculus

4.61 Mb

#2

A Simple Lambda-Calculus Model of Programming Languages, NYU Courant Institute, 1973

Категория: paper, programming language semantics, lambda calculus, combinator calculus

2.04 Mb

#3

Kamal Abdali

A Lambda-Calculus Model of Programming Languages, I: Simple Constructs, J. Computer Languages, Vol. 1 (1976)

Категория: paper, programming language semantics, lambda calculus, combinator calculus

4.33 Mb